Validating SDL Specifications: an Experiment
نویسندگان
چکیده
This paper describes a method for validating specifications written in the CCITT language SDL. The method has been implemented as part of an experimental validation system. With the experimental system we have been able to perform exhaustive analyses of systems with over 250 million reachable composite system states. The practicality of the tool for the analysis of substantial portions of AT&T's 5ESS® Switch code is now being studied.
منابع مشابه
Experiences with ISDN validation models in SDL and proposal for new SDL features
This paper shows experiences encountered during the specification of layer 3 protocols for narrowband and broadband ISDN in SDL-92. It shows a methodology how to structure a specification that it can be reused in derived specifications on structural level as well as on behavioural level. SDL provides adequate support for the composition of large specifications. There are difficulties, however, ...
متن کاملMutation Testing Applied to Validate SDL Specifications
Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality of a test set and/or to generate test sets. This criterion, originally proposed to program testing, has also been applied to specification testing. In this paper, we propose the application of Mutation Testing for testing SDL specifications. We define a mutant operator set for SDL that intends to model...
متن کاملAn attempt to embed a restricted version of SDL as a target language in Focus
This paper presents a first attempt to embed a restricted version of SDL as a target language in Focus. Brief introductions to both Focus and SDL are given, and it is shown how both methods can be assigned a denotational semantics based on streams and stream processing functions. A set of Focus specifications, referred to as F-SDL, is characterized whose elements structurally and semantically m...
متن کاملFrom MSC and UML to SDL - Computer Software and Applications Conference, 2002. Proceedings. 26th Annual International
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools ...
متن کاملEnriching SDL Specifications with MSCs
Abstract Software systems evolve through addition of new behaviors and new components to the existing behavior and architecture. In this paper, we address the issue of enriching automatically SDL specifications with new behaviors specified with MSCs. The new behaviors should not inhibit (invalidate) existing and already validated behavior. In other words, the existing behavior should be preserv...
متن کامل